- syntactic check
- синтаксический контроль
English-Russian dictionary of computer science. 2015.
syntactic check
Смотреть что такое "syntactic check" в других словарях:
Syntactic predicate — A syntactic predicate specifies the syntactic validity of applying a production in a formal grammar and is analogous to a semantic predicate that specifies the semantic validity of applying a production. It is a simple and effective means of… … Wikipedia
Occurs check — In computer science, the occurs check is a part of algorithms for syntactic unification. It causes unification of a logic variable V and a structure S to fail if S contains V. In theorem proving, unification without the occurs check can lead to… … Wikipedia
Unification (computer science) — Unification, in computer science and logic, is an algorithmic process by which one attempts to solve the satisfiability problem. The goal of unification is to find a substitution which demonstrates that two seemingly different terms are in fact… … Wikipedia
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
Metamath — Developer(s) Norman Megill Written in C Operating system … Wikipedia
The Syro-Aramaic Reading of the Koran — … Wikipedia
diff — This article is about the file comparison utility. For other uses, see DIFF (disambiguation). Diffs redirects here. For the American punk rock group, see The Diffs. In computing, diff is a file comparison utility that outputs the differences… … Wikipedia
Treebank — A treebank or parsed corpus is a text corpus in which each sentence has been parsed, i.e. annotated with syntactic structure. Syntactic structure is commonly represented as a tree structure, hence the name Treebank. The term Parsed Corpus is… … Wikipedia
Monad (functional programming) — In functional programming, a monad is a programming structure that represents computations. Monads are a kind of abstract data type constructor that encapsulate program logic instead of data in the domain model. A defined monad allows the… … Wikipedia
Cape Verdean Creole — Kriolu, Kriol, kriolu kabuverdianu Spoken in Cape Verde, Cape Verdean diaspora Native speakers 926,078[1] (date missing) … Wikipedia
Focus (linguistics) — Focus is a concept in linguistic theory that deals with how information in one phrase relates to information that has come before. Focus has been analyzed in a variety of ways by linguists. Historically, there have been two main approaches to… … Wikipedia
